acm sigbed
|
emsoft
|
participants
Dejan Ničković
EMSOFT 2020: 20th International Conference on Embedded Software
Mining Shape Expressions From Positive Examples
Ezio Bartocci
,
Jyotirmoy Deshmukh
,
Felix Gigler
,
Cristinel Mateis
,
Dejan Ničković
, and
Xin Qin
10.1109/TCAD.2020.3012240
https://par.nsf.gov/servlets/purl/10199915
EMSOFT 2018: 18th International Conference on Embedded Software
An Algebraic Framework for Runtime Verification
Stefan Jakšić
,
Ezio Bartocci
,
Radu Grosu
, and
Dejan Ničković
10.1109/TCAD.2018.2858460
https://arxiv.org/pdf/1802.03775.pdf